Minimal model - PDFSEARCH.IO - Document Search Engine

Minimal model
Results: 224

#	Item
61	Tarski Lectures: Compact spaces, definability, and measures in model theory Anand Pillay University of Leeds Berkeley, April 6th, 8th, and 10th, 2009 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:21 Metalogic Structure Compactness theorem O-minimal theory Type First-order logic Stable theory Beth definability Definable real number Model theory Mathematical logic Logic
62	Toy Train Auction Lot Descriptions September 12 and 13, 2014 STOUT AUCTIONS 801 Lionel Postwar O gauge 1007 scout caboose with raised board on catwalk in an original box. Car has minimal run time Add to Reading List Source URL: www.stoutauctions.com Language: English - Date: 2014-08-29 21:32:56 Model railroad scales Toy trains O scale Rail transport modelling Caboose Lionel Corporation Land transport Rail transport Transport
63	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Formal methods Metalogic Proof theory Mathematical logic Model theory Formal proof Model checking Mathematical proof Logic Mathematics Automated theorem proving
64	PDF Document Add to Reading List Source URL: icarus.lngs.infn.it Language: English - Date: 2013-03-20 09:44:52 Large Hadron Collider Large Electron–Positron Collider Standard Model CERN ATLAS experiment Minimal Supersymmetric Standard Model MSSM Higgs Mass Physics Particle physics Higgs boson
65	Modified modeling metadata elements Intended to be the minimal description necessary for Data Discovery 1. Title 2. Modeling ID = Institution running model + model name(s) + version(s) + run ID 3. Modeling scope = Regula Add to Reading List Source URL: wiki.esipfed.org Language: English - Date: 2012-09-13 07:55:40 Wind Air dispersion modeling Atmospheric sciences Meteorology Weather prediction
66	Публикации за 2014 год Все работы № 1 Авторы Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2014-11-19 04:41:40 Large Hadron Collider Bosons Electroweak theory ATLAS experiment Higgs boson Top quark Supersymmetry Drell–Yan process Minimal Supersymmetric Standard Model Physics Particle physics Standard Model
67	Публикации за 2012 год Авторы 1 Название работы Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2012-12-13 02:55:43 Mark Adams Theoretical physics Top quark Higgs boson Supersymmetry Minimal Supersymmetric Standard Model Large Hadron Collider LHCb Physics Particle physics Standard Model
68	Electronic Supplementary Material for the manuscript titled A minimal model for reconstructing interannual mass balance variability of glaciers in the European Alps by Ben Marzeion, Marlis Hofer, Alexander H. Jarosch, Ge Add to Reading List Source URL: www.the-cryosphere.net Language: English - Date: 2014-12-04 07:55:02 Structure of the Earth Root-mean-square deviation Mass balance Physical geography Nature Earth Hydrology Cryosphere
69	Публикации за 2014 год Все работы № 1 Авторы Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2014-11-19 04:14:17 Large Hadron Collider Bosons Electroweak theory ATLAS experiment Higgs boson Top quark Supersymmetry Drell–Yan process Minimal Supersymmetric Standard Model Physics Particle physics Standard Model
70	Faculteit Wetenschappen Departement Natuurkunde Search for stop quarks using the matrix element method at the LHC Proefschrift ingediend met het oog op het behalen van de graad van Master in de Wetenschappen Add to Reading List Source URL: iihe.ac.be Language: English - Date: 2013-11-25 11:10:48 Minimal Supersymmetric Standard Model Standard Model Top quark Quark Elementary particle W and Z bosons Supersymmetry Grand Unified Theory Hierarchy problem Physics Particle physics Higgs boson

UPDATE